Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.
In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 174 | 174 | 96 | 250 | 0 | 69 | 94 | 0 | -1 |
N.S. | 1 | 1.00 | 0.55 | 1.44 | 0.00 | 0.40 | 0.54 | 0.00 | -0.01 |
time (sec) |
N/A | 0.075 | 10.087 | 0.103 | 0.000 | 0.228 | 4.152 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 299 | 299 | 80 | 379 | 0 | 55 | 92 | 0 | -1 |
N.S. | 1 | 1.00 | 0.27 | 1.27 | 0.00 | 0.18 | 0.31 | 0.00 | -0.00 |
time (sec) |
N/A | 0.155 | 10.067 | 0.100 | 0.000 | 0.286 | 1.728 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 139 | 139 | 79 | 214 | 0 | 45 | 94 | 0 | -1 |
N.S. | 1 | 1.00 | 0.57 | 1.54 | 0.00 | 0.32 | 0.68 | 0.00 | -0.01 |
time (sec) |
N/A | 0.058 | 10.044 | 0.112 | 0.000 | 0.321 | 1.291 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 290 | 290 | 82 | 378 | 0 | 58 | 97 | 0 | -1 |
N.S. | 1 | 1.00 | 0.28 | 1.30 | 0.00 | 0.20 | 0.33 | 0.00 | -0.00 |
time (sec) |
N/A | 0.160 | 10.031 | 0.104 | 0.000 | 0.248 | 1.900 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 138 | 138 | 81 | 223 | 0 | 55 | 97 | 0 | -1 |
N.S. | 1 | 1.00 | 0.59 | 1.62 | 0.00 | 0.40 | 0.70 | 0.00 | -0.01 |
time (sec) |
N/A | 0.060 | 10.051 | 0.123 | 0.000 | 0.240 | 4.796 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 342 | 342 | 82 | 417 | 0 | 74 | 104 | 0 | -1 |
N.S. | 1 | 1.00 | 0.24 | 1.22 | 0.00 | 0.22 | 0.30 | 0.00 | -0.00 |
time (sec) |
N/A | 0.181 | 10.047 | 0.117 | 0.000 | 0.209 | 17.326 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 211 | 211 | 111 | 252 | 0 | 125 | 94 | 0 | -1 |
N.S. | 1 | 1.00 | 0.53 | 1.19 | 0.00 | 0.59 | 0.45 | 0.00 | -0.00 |
time (sec) |
N/A | 0.095 | 10.114 | 0.141 | 0.000 | 0.334 | 180.204 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 337 | 337 | 84 | 391 | 0 | 109 | 94 | 0 | -1 |
N.S. | 1 | 1.00 | 0.25 | 1.16 | 0.00 | 0.32 | 0.28 | 0.00 | -0.00 |
time (sec) |
N/A | 0.182 | 10.106 | 0.130 | 0.000 | 0.304 | 52.690 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 174 | 174 | 85 | 225 | 0 | 98 | 94 | 0 | -1 |
N.S. | 1 | 1.00 | 0.49 | 1.29 | 0.00 | 0.56 | 0.54 | 0.00 | -0.01 |
time (sec) |
N/A | 0.077 | 10.103 | 0.118 | 0.000 | 0.305 | 12.584 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 301 | 301 | 76 | 382 | 0 | 98 | 94 | 0 | -1 |
N.S. | 1 | 1.00 | 0.25 | 1.27 | 0.00 | 0.33 | 0.31 | 0.00 | -0.00 |
time (sec) |
N/A | 0.163 | 10.091 | 0.100 | 0.000 | 0.281 | 4.606 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 144 | 144 | 75 | 213 | 0 | 84 | 94 | 0 | -1 |
N.S. | 1 | 1.00 | 0.52 | 1.48 | 0.00 | 0.58 | 0.65 | 0.00 | -0.01 |
time (sec) |
N/A | 0.061 | 10.044 | 0.101 | 0.000 | 0.268 | 5.149 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 333 | 333 | 77 | 386 | 0 | 109 | 97 | 0 | -1 |
N.S. | 1 | 1.00 | 0.23 | 1.16 | 0.00 | 0.33 | 0.29 | 0.00 | -0.00 |
time (sec) |
N/A | 0.176 | 10.031 | 0.127 | 0.000 | 0.396 | 9.399 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 176 | 176 | 91 | 232 | 0 | 109 | 97 | 0 | -1 |
N.S. | 1 | 1.00 | 0.52 | 1.32 | 0.00 | 0.62 | 0.55 | 0.00 | -0.01 |
time (sec) |
N/A | 0.079 | 10.054 | 0.128 | 0.000 | 0.165 | 22.650 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 379 | 379 | 78 | 417 | 0 | 132 | 104 | 0 | -1 |
N.S. | 1 | 1.00 | 0.21 | 1.10 | 0.00 | 0.35 | 0.27 | 0.00 | -0.00 |
time (sec) |
N/A | 0.212 | 10.044 | 0.136 | 0.000 | 0.258 | 63.729 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | C | F(-1) | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 208 | 208 | 116 | 439 | 0 | 156 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.56 | 2.11 | 0.00 | 0.75 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.093 | 10.135 | 0.164 | 0.000 | 0.332 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 349 | 349 | 97 | 767 | 0 | 160 | 94 | 0 | -1 |
N.S. | 1 | 1.00 | 0.28 | 2.20 | 0.00 | 0.46 | 0.27 | 0.00 | -0.00 |
time (sec) |
N/A | 0.186 | 10.110 | 0.116 | 0.000 | 0.266 | 190.727 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 185 | 185 | 105 | 429 | 0 | 144 | 94 | 0 | -1 |
N.S. | 1 | 1.00 | 0.57 | 2.32 | 0.00 | 0.78 | 0.51 | 0.00 | -0.01 |
time (sec) |
N/A | 0.081 | 10.136 | 0.117 | 0.000 | 0.263 | 60.391 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 344 | 344 | 84 | 764 | 0 | 153 | 94 | 0 | -1 |
N.S. | 1 | 1.00 | 0.24 | 2.22 | 0.00 | 0.44 | 0.27 | 0.00 | -0.00 |
time (sec) |
N/A | 0.183 | 10.092 | 0.122 | 0.000 | 0.228 | 24.315 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 187 | 187 | 108 | 425 | 0 | 144 | 94 | 0 | -1 |
N.S. | 1 | 1.00 | 0.58 | 2.27 | 0.00 | 0.77 | 0.50 | 0.00 | -0.01 |
time (sec) |
N/A | 0.078 | 10.069 | 0.115 | 0.000 | 0.185 | 42.553 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 377 | 377 | 86 | 771 | 0 | 167 | 97 | 0 | -1 |
N.S. | 1 | 1.00 | 0.23 | 2.05 | 0.00 | 0.44 | 0.26 | 0.00 | -0.00 |
time (sec) |
N/A | 0.211 | 10.056 | 0.153 | 0.000 | 0.276 | 79.602 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 213 | 213 | 120 | 446 | 0 | 163 | 97 | 0 | -1 |
N.S. | 1 | 1.00 | 0.56 | 2.09 | 0.00 | 0.77 | 0.46 | 0.00 | -0.00 |
time (sec) |
N/A | 0.100 | 10.078 | 0.144 | 0.000 | 0.405 | 148.757 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 288 | 288 | 225 | 448 | 0 | 160 | 150 | 0 | -1 |
N.S. | 1 | 1.00 | 0.78 | 1.56 | 0.00 | 0.56 | 0.52 | 0.00 | -0.00 |
time (sec) |
N/A | 0.210 | 20.250 | 0.139 | 0.000 | 0.374 | 12.454 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 425 | 425 | 145 | 658 | 0 | 134 | 148 | 0 | -1 |
N.S. | 1 | 1.00 | 0.34 | 1.55 | 0.00 | 0.32 | 0.35 | 0.00 | -0.00 |
time (sec) |
N/A | 0.299 | 20.120 | 0.123 | 0.000 | 0.261 | 3.092 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 244 | 244 | 189 | 401 | 0 | 119 | 150 | 0 | -1 |
N.S. | 1 | 1.00 | 0.77 | 1.64 | 0.00 | 0.49 | 0.61 | 0.00 | -0.00 |
time (sec) |
N/A | 0.142 | 10.160 | 0.112 | 0.000 | 0.274 | 3.461 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 421 | 421 | 129 | 624 | 0 | 108 | 153 | 0 | -1 |
N.S. | 1 | 1.00 | 0.31 | 1.48 | 0.00 | 0.26 | 0.36 | 0.00 | -0.00 |
time (sec) |
N/A | 0.274 | 20.102 | 0.115 | 0.000 | 0.271 | 3.683 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 234 | 234 | 171 | 383 | 0 | 103 | 153 | 0 | -1 |
N.S. | 1 | 1.00 | 0.73 | 1.64 | 0.00 | 0.44 | 0.65 | 0.00 | -0.00 |
time (sec) |
N/A | 0.135 | 10.144 | 0.117 | 0.000 | 0.363 | 5.907 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 421 | 421 | 125 | 648 | 0 | 110 | 160 | 0 | -1 |
N.S. | 1 | 1.00 | 0.30 | 1.54 | 0.00 | 0.26 | 0.38 | 0.00 | -0.00 |
time (sec) |
N/A | 0.275 | 20.099 | 0.124 | 0.000 | 0.387 | 18.354 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 213 | 210 | 160 | 385 | 0 | 102 | 144 | 0 | -1 |
N.S. | 1 | 0.99 | 0.75 | 1.81 | 0.00 | 0.48 | 0.68 | 0.00 | -0.00 |
time (sec) |
N/A | 0.115 | 10.156 | 0.134 | 0.000 | 0.344 | 12.676 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 386 | 383 | 148 | 659 | 0 | 126 | 151 | 0 | -1 |
N.S. | 1 | 0.99 | 0.38 | 1.71 | 0.00 | 0.33 | 0.39 | 0.00 | -0.00 |
time (sec) |
N/A | 0.222 | 20.123 | 0.131 | 0.000 | 0.288 | 35.297 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 217 | 213 | 187 | 403 | 0 | 118 | 151 | 0 | -1 |
N.S. | 1 | 0.98 | 0.86 | 1.86 | 0.00 | 0.54 | 0.70 | 0.00 | -0.00 |
time (sec) |
N/A | 0.130 | 10.138 | 0.129 | 0.000 | 0.313 | 92.678 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | F(-2) | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 441 | 437 | 182 | 706 | 0 | 164 | 0 | 0 | -1 |
N.S. |
1 | 0.99 | 0.41 | 1.60 | 0.00 | 0.37 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.270 | 20.159 | 0.132 | 0.000 | 0.310 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 530 | 530 | 210 | 743 | 0 | 210 | 306 | 0 | -1 |
N.S. | 1 | 1.00 | 0.40 | 1.40 | 0.00 | 0.40 | 0.58 | 0.00 | -0.00 |
time (sec) |
N/A | 0.384 | 20.158 | 0.115 | 0.000 | 0.479 | 99.077 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 340 | 340 | 259 | 489 | 0 | 199 | 306 | 0 | -1 |
N.S. | 1 | 1.00 | 0.76 | 1.44 | 0.00 | 0.59 | 0.90 | 0.00 | -0.00 |
time (sec) |
N/A | 0.222 | 10.206 | 0.113 | 0.000 | 0.301 | 32.515 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 482 | 482 | 179 | 699 | 0 | 173 | 304 | 0 | -1 |
N.S. | 1 | 1.00 | 0.37 | 1.45 | 0.00 | 0.36 | 0.63 | 0.00 | -0.00 |
time (sec) |
N/A | 0.329 | 20.132 | 0.111 | 0.000 | 0.354 | 7.093 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 286 | 286 | 223 | 444 | 0 | 157 | 306 | 0 | -1 |
N.S. | 1 | 1.00 | 0.78 | 1.55 | 0.00 | 0.55 | 1.07 | 0.00 | -0.00 |
time (sec) |
N/A | 0.178 | 10.189 | 0.112 | 0.000 | 0.301 | 9.835 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 476 | 476 | 161 | 669 | 0 | 146 | 309 | 0 | -1 |
N.S. | 1 | 1.00 | 0.34 | 1.41 | 0.00 | 0.31 | 0.65 | 0.00 | -0.00 |
time (sec) |
N/A | 0.319 | 20.134 | 0.115 | 0.000 | 0.320 | 10.153 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 288 | 288 | 202 | 415 | 0 | 141 | 309 | 0 | -1 |
N.S. | 1 | 1.00 | 0.70 | 1.44 | 0.00 | 0.49 | 1.07 | 0.00 | -0.00 |
time (sec) |
N/A | 0.168 | 10.177 | 0.126 | 0.000 | 0.284 | 13.522 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 468 | 468 | 141 | 668 | 0 | 130 | 320 | 0 | -1 |
N.S. | 1 | 1.00 | 0.30 | 1.43 | 0.00 | 0.28 | 0.68 | 0.00 | -0.00 |
time (sec) |
N/A | 0.315 | 20.126 | 0.131 | 0.000 | 0.310 | 32.505 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 430 | 430 | 143 | 661 | 0 | 133 | 144 | 0 | -1 |
N.S. | 1 | 1.00 | 0.33 | 1.54 | 0.00 | 0.31 | 0.33 | 0.00 | -0.00 |
time (sec) |
N/A | 0.279 | 20.116 | 0.109 | 0.000 | 0.293 | 31.377 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 240 | 240 | 190 | 405 | 0 | 122 | 144 | 0 | -1 |
N.S. | 1 | 1.00 | 0.79 | 1.69 | 0.00 | 0.51 | 0.60 | 0.00 | -0.00 |
time (sec) |
N/A | 0.147 | 10.186 | 0.105 | 0.000 | 0.200 | 9.234 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 375 | 375 | 111 | 604 | 0 | 99 | 143 | 0 | -1 |
N.S. | 1 | 1.00 | 0.30 | 1.61 | 0.00 | 0.26 | 0.38 | 0.00 | -0.00 |
time (sec) |
N/A | 0.246 | 20.107 | 0.111 | 0.000 | 0.257 | 2.692 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 193 | 193 | 148 | 350 | 0 | 83 | 144 | 0 | -1 |
N.S. | 1 | 1.00 | 0.77 | 1.81 | 0.00 | 0.43 | 0.75 | 0.00 | -0.01 |
time (sec) |
N/A | 0.108 | 10.203 | 0.105 | 0.000 | 0.270 | 2.677 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 372 | 372 | 115 | 595 | 0 | 90 | 148 | 0 | -1 |
N.S. | 1 | 1.00 | 0.31 | 1.60 | 0.00 | 0.24 | 0.40 | 0.00 | -0.00 |
time (sec) |
N/A | 0.231 | 20.112 | 0.115 | 0.000 | 0.397 | 2.983 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 184 | 184 | 165 | 352 | 0 | 83 | 148 | 0 | -1 |
N.S. | 1 | 1.00 | 0.90 | 1.91 | 0.00 | 0.45 | 0.80 | 0.00 | -0.01 |
time (sec) |
N/A | 0.097 | 10.124 | 0.116 | 0.000 | 0.248 | 6.950 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 387 | 387 | 116 | 626 | 0 | 100 | 155 | 0 | -1 |
N.S. | 1 | 1.00 | 0.30 | 1.62 | 0.00 | 0.26 | 0.40 | 0.00 | -0.00 |
time (sec) |
N/A | 0.236 | 20.106 | 0.135 | 0.000 | 0.288 | 26.835 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | C | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 193 | 193 | 159 | 370 | 0 | 94 | 155 | 0 | -1 |
N.S. | 1 | 1.00 | 0.82 | 1.92 | 0.00 | 0.49 | 0.80 | 0.00 | -0.01 |
time (sec) |
N/A | 0.113 | 10.152 | 0.131 | 0.000 | 0.264 | 90.593 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | F(-1) | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 438 | 438 | 155 | 667 | 0 | 128 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.35 | 1.52 | 0.00 | 0.29 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.291 | 10.154 | 0.136 | 0.000 | 0.481 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | F(-2) | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 242 | 242 | 196 | 411 | 0 | 119 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.81 | 1.70 | 0.00 | 0.49 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.155 | 10.184 | 0.131 | 0.000 | 0.256 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | F(-1) | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 296 | 296 | 226 | 407 | 0 | 206 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.76 | 1.38 | 0.00 | 0.70 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.172 | 10.186 | 0.161 | 0.000 | 0.318 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 436 | 436 | 133 | 618 | 0 | 177 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.31 | 1.42 | 0.00 | 0.41 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.271 | 20.132 | 0.151 | 0.000 | 0.287 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 245 | 245 | 191 | 363 | 0 | 163 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.78 | 1.48 | 0.00 | 0.67 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.138 | 10.162 | 0.148 | 0.000 | 0.255 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 384 | 384 | 119 | 597 | 0 | 156 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.31 | 1.55 | 0.00 | 0.41 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.226 | 20.108 | 0.137 | 0.000 | 0.238 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 193 | 193 | 174 | 341 | 0 | 144 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.90 | 1.77 | 0.00 | 0.75 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.103 | 10.123 | 0.150 | 0.000 | 0.327 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 393 | 393 | 126 | 594 | 0 | 158 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.32 | 1.51 | 0.00 | 0.40 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.243 | 10.105 | 0.145 | 0.000 | 0.264 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 207 | 207 | 181 | 353 | 0 | 156 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.87 | 1.71 | 0.00 | 0.75 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.122 | 10.162 | 0.151 | 0.000 | 0.189 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | C | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 434 | 434 | 141 | 638 | 0 | 186 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.32 | 1.47 | 0.00 | 0.43 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.299 | 10.106 | 0.157 | 0.000 | 0.293 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | C | F(-1) | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 302 | 302 | 222 | 696 | 0 | 249 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.74 | 2.30 | 0.00 | 0.82 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.163 | 10.223 | 0.191 | 0.000 | 0.266 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | C | F(-1) | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 442 | 442 | 153 | 1191 | 0 | 242 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.35 | 2.69 | 0.00 | 0.55 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.271 | 20.157 | 0.178 | 0.000 | 0.378 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | C | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 248 | 248 | 204 | 674 | 0 | 229 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.82 | 2.72 | 0.00 | 0.92 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.132 | 10.199 | 0.166 | 0.000 | 0.340 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | C | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 403 | 403 | 147 | 1176 | 0 | 232 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.36 | 2.92 | 0.00 | 0.58 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.231 | 20.155 | 0.126 | 0.000 | 0.253 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | C | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 213 | 213 | 169 | 660 | 0 | 218 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.79 | 3.10 | 0.00 | 1.02 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.114 | 10.215 | 0.132 | 0.000 | 0.212 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | C | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 442 | 442 | 161 | 1187 | 0 | 244 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.36 | 2.69 | 0.00 | 0.55 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.298 | 10.128 | 0.174 | 0.000 | 0.262 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | C | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 258 | 258 | 211 | 686 | 0 | 238 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.82 | 2.66 | 0.00 | 0.92 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.159 | 10.221 | 0.170 | 0.000 | 0.276 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | C | F(-1) | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 489 | 489 | 181 | 1231 | 0 | 273 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.37 | 2.52 | 0.00 | 0.56 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.330 | 10.157 | 0.176 | 0.000 | 0.369 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 372 | 372 | 187 | 1468 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.50 | 3.95 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.544 | 10.183 | 0.221 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 414 | 414 | 143 | 1480 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.35 | 3.57 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.552 | 10.133 | 0.174 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 315 | 315 | 143 | 1275 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.45 | 4.05 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.354 | 10.112 | 0.148 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 365 | 365 | 69 | 690 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.19 | 1.89 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.362 | 10.032 | 0.132 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 283 | 283 | 67 | 640 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.24 | 2.26 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.255 | 10.032 | 0.122 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 392 | 392 | 143 | 1263 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.36 | 3.22 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.508 | 10.099 | 0.126 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 308 | 308 | 146 | 1156 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.47 | 3.75 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.335 | 10.120 | 0.130 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 457 | 457 | 190 | 1542 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.42 | 3.37 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.692 | 10.169 | 0.127 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 485 | 485 | 183 | 2172 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.38 | 4.48 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.753 | 10.174 | 0.156 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 372 | 372 | 182 | 1909 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.49 | 5.13 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.524 | 10.171 | 0.144 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 421 | 421 | 155 | 1916 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.37 | 4.55 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.572 | 10.181 | 0.152 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 328 | 328 | 153 | 1710 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.47 | 5.21 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.381 | 10.129 | 0.142 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 417 | 417 | 151 | 1747 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.36 | 4.19 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.555 | 10.112 | 0.137 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 330 | 330 | 153 | 1729 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.46 | 5.24 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.410 | 10.129 | 0.120 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 459 | 459 | 187 | 2017 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.41 | 4.39 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.731 | 10.185 | 0.136 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 305 | 305 | 147 | 842 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.48 | 2.76 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.339 | 10.108 | 0.136 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 349 | 349 | 70 | 459 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.20 | 1.32 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.341 | 10.053 | 0.117 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 261 | 261 | 70 | 406 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.27 | 1.56 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.246 | 10.054 | 0.118 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 203 | 203 | 70 | 326 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.34 | 1.61 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.183 | 10.042 | 0.117 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 188 | 188 | 68 | 335 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.36 | 1.78 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.174 | 10.041 | 0.120 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 379 | 379 | 146 | 826 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.39 | 2.18 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.470 | 10.109 | 0.120 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 297 | 297 | 148 | 729 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.50 | 2.45 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.313 | 10.117 | 0.128 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 444 | 444 | 188 | 1098 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.42 | 2.47 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.636 | 10.171 | 0.128 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 444 | 444 | 148 | 1030 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.33 | 2.32 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.556 | 10.150 | 0.129 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 338 | 338 | 148 | 815 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.44 | 2.41 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.367 | 10.118 | 0.128 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 414 | 414 | 133 | 828 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.32 | 2.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.494 | 10.109 | 0.126 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 314 | 314 | 133 | 693 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.42 | 2.21 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.298 | 10.089 | 0.135 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 420 | 420 | 148 | 819 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.35 | 1.95 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.516 | 10.156 | 0.128 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 328 | 328 | 147 | 697 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.45 | 2.12 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.334 | 10.116 | 0.131 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 493 | 493 | 198 | 1047 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.40 | 2.12 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.695 | 10.187 | 0.129 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 397 | 397 | 197 | 885 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.50 | 2.23 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.541 | 10.184 | 0.141 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | F(-1) | F(-1) | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 362 | 362 | 184 | 2549 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.51 | 7.04 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.462 | 10.171 | 0.186 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 413 | 413 | 163 | 2530 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.39 | 6.13 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.499 | 10.135 | 0.125 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 328 | 328 | 163 | 2243 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.50 | 6.84 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.323 | 10.127 | 0.131 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 417 | 417 | 163 | 2522 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.39 | 6.05 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.496 | 10.110 | 0.128 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 335 | 335 | 161 | 2239 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.48 | 6.68 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.316 | 10.099 | 0.128 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |